$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), ${\it keyv}$:(:($\mathbb{N}$ + Atom1) $\times$ data($T$)), $n$:\{0..$\parallel$${\it tab}$$\parallel$ $^{-}$\}.
\\[0ex]st{-}atom(encrypt(${\it tab}$;${\it keyv}$);$n$) = st{-}atom(${\it tab}$;$n$) $\in$ Atom1